cp play.ptrace.head play.ptrace
while read line
do
	let END=$RANDOM%10000
	for i in $(seq 0 $END)
	do
		echo "$line" >>play.ptrace
		../hotspot -c ../hotspot.config -f play.flp -p play.ptrace -steady_file play.steady
		result=`cat play.steady`
		echo "$result\n" >>result.txt	
	done
done < play_complete.ptrace

